Formal methods - PDFSEARCH.IO - Document Search Engine

Formal methods
Results: 2204

#	Item
571	Where, Exactly, Is Software Development? Michael Jackson 101 Hamilton Terrace, London NW8 9QY, England Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2004-12-15 08:01:26 Abstraction Formal sciences Software requirements Formal methods System Computing Requirement Domain-specific language Logic Science Software development Knowledge
572	Product Line Engineering Solutions for Systems and Software Engineer your product line portfolio as a single production system rather Add to Reading List Source URL: www.biglever.com Language: English - Date: 2012-02-20 22:59:44 Information technology management Formal methods Product management Software engineering Product development Product family engineering Software development process Software product line IBM Rational Unified Process Software project management Business Technology
573	WiST Group Lab Review Template Add to Reading List Source URL: www.symtavision.com Language: English - Date: 2012-10-31 05:31:39 Synchronization Static timing analysis FlexRay Electronic engineering Electronics Formal methods Jitter
574	Agile Specifications Derek Rayside, Aleksandar Milicevic, Kuat Yessenov, Greg Dennis, and Daniel Jackson MIT Computer Science and Artificial Intelligence Laboratory {drayside, aleks, kuat, gdennis, dnj}@csail.mit.edu Ab Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2012-02-19 15:58:07 Software engineering Theoretical computer science Notation Programming language ALGOL 68 Software development process Agile software development Algorithm Abstraction Formal methods Computing Software development
575	the presenza outdoor Combining the sleek, simple design of Meridian’s Add to Reading List Source URL: mzero.com Language: English - Date: 2015-03-05 04:43:56 Software project management Formal methods IBM Rational Unified Process
576	Behavior Research Methods, Instruments, & Computers 2000, 32 (I), 93-I IO Discovering hidden time patterns in behavior: T-patterns and their detection MAGNUS S. MAGNUSSON Add to Reading List Source URL: www.machinelearning.ru Language: English - Date: 2009-09-23 11:10:25 University of Iceland Pattern Software design pattern Behavioral pattern Clothing Formal sciences Human Behavior Laboratory
577	Syntax-Guided Synthesis Rajeev Alur† Sanjit A. Seshia‡ Rastislav Bodik‡ Rishabh Singh] Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2013-09-22 01:23:29 Constraint programming Formal methods Programming paradigms Predicate logic Satisfiability Modulo Theories Program synthesis Algorithm First-order logic Function Mathematics Theoretical computer science Applied mathematics
578	Proofs and Refutations, and Z3 Leonardo de Moura and Nikolaj Bjørner Microsoft Research Abstract Z3 [3] is a state-of-the-art Satisfiability Modulo Theories (SMT) solver freely available from Microsoft Research. It solv Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-07-21 19:11:06 Formal methods Metalogic Logic in computer science Electronic design automation NP-complete problems Satisfiability Modulo Theories Boolean satisfiability problem Conjunctive normal form Mathematical proof Mathematics Theoretical computer science Logic
579	Software Engineering and Automated Deduction Willem Visser Nikolaj Bjørner Natarajan Shankar Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-05-07 12:02:12 Formal methods Automated theorem proving Logic in computer science NP-complete problems Model checking Satisfiability Modulo Theories Boolean satisfiability problem KeY First-order logic Theoretical computer science Logic Mathematical logic
580	Code of Conduct 1. Purpose 1.1 Add to Reading List Source URL: www.vdmgroup.com.au Language: English - Date: 2012-11-13 16:17:00 Business ethics Serv Science Knowledge Vienna Development Method Ethology Formal methods VDM Publishing Software development process

UPDATE